package puf.m2.automaton.event;




import java.util.EventListener;

/**
 * An interface that those interested in changes in transitions in an automata
 * should listen to.
 * 
 * @see automata.event.AutomataTransitionEvent
 * @see automata.Automaton#addTransitionListener
 */

public interface AutomataTransitionListener extends EventListener {
	/**
	 * Registers with the listener that an event has occurred.
	 * 
	 * @param event
	 *            the event
	 */
	public void automataTransitionChange(AutomataTransitionEvent event);
}
